a^3 - a is divisible by 6